Grand orthogonality theorem ↩

shorthands: {}
aliases: [Schur orthogonality theorem, Schur orthogonality relations]
created: 2021-10-28 20:55:14
modified: 2022-01-10 04:13:04

Statement

group, and are its irreducible representations. Let us assume that ¹.

Then

Where , and .

If is unitary

If is unitary, then the above equation can be written in these alternative forms:

Where we use the inner product defined for the regular representation's space.